formalmethod相关论文
当前的文献管理系统缺少实时响应用户不同需求的能力.大多数此类的系统无法或很难实现异类系统间的信息交换.同时,这类系统缺少描......
最小化法是一种动态随机化算法,它可以在较小的样本量下保证各处理组间和控制因素水平下的样本均衡.介绍了最小化算法的原理,并利......
Event-Based Operational Semantics and a Consistency Result for Real-Time Concurrent Processes with A
In this paper an event-based operational interleaving semantics is proposed for real-time processes, for which action re......